existential operator
英 [ˌeɡzɪˈstenʃəl ˈɒpəreɪtə(r)]
美 [ˌeɡzɪˈstenʃəl ˈɑːpəreɪtər]
网络 存在算子
英英释义
noun
- a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
Synonym: existential quantifier